\begin{table}[!t]
\centering
\fontsize{8}{10}\selectfont
\begin{tabular*}{\linewidth}{@{\extracolsep{\fill}}lllcccccc}\\\hlx{hv}
\multirow{2}{*}{Benchmark} & Solution & Solution & DT & Max Term & Max Pred & Num \\
& Size & Time (s) & Size &  Size & Size & Points\\\hlx{hv}

icfp\_103\_10 & 33 & 8.9 & 7 & 4 & 6 & 9\\
icfp\_104\_10 & 17 & 0.8 & 5 & 3 & 5 & 6\\
icfp\_105\_1000 & 15 & 24.1 & 5 & 3 & 5 & 4\\
icfp\_105\_100 & 16 & 2.8 & 5 & 3 & 5 & 7\\
icfp\_113\_1000 & 11 & 35.5 & 3 & 4 & 4 & 2\\
icfp\_114\_100 & 20 & 154.6 & 5 & 5 & 5 & 3\\
icfp\_118\_100 & 31 & 13.8 & 7 & 4 & 5 & 4\\
icfp\_118\_10 & 32 & 3.4 & 7 & 4 & 5 & 6\\
icfp\_125\_10 & 57 & 9.6 & 13 & 4 & 6 & 10\\
icfp\_134\_1000 & 33 & 932.3 & 7 & 5 & 6 & 12\\
icfp\_135\_100 & 13 & 34.6 & 3 & 5 & 4 & 2\\
icfp\_139\_10 & 10 & 1.2 & 3 & 4 & 4 & 2\\
icfp\_143\_1000 & 16 & 903.8 & 3 & 5 & 5 & 3\\
icfp\_144\_1000 & 24 & 876.1 & 5 & 5 & 6 & 3\\
icfp\_144\_100 & 36 & 477.8 & 7 & 5 & 6 & 16\\
icfp\_147\_1000 & 12 & 661.8 & 3 & 5 & 4 & 2\\
icfp\_150\_10 & 51 & 1.7 & 11 & 4 & 5 & 6\\
icfp\_21\_1000 & 21 & 302.4 & 5 & 4 & 5 & 5\\
icfp\_25\_1000 & 22 & 92.8 & 5 & 4 & 6 & 8\\
icfp\_28\_10 & 2 & 0.03 & 0 & 2 & 0 & 1\\
icfp\_30\_10 & 14 & 10.2 & 3 & 5 & 4 & 4\\
icfp\_32\_10 & 14 & 8.5 & 3 & 5 & 4 & 2\\
icfp\_38\_10 & 21 & 4.9 & 5 & 4 & 5 & 5\\
icfp\_39\_100 & 12 & 10.6 & 3 & 4 & 5 & 2\\
icfp\_45\_1000 & 9 & 16.9 & 3 & 3 & 4 & 2\\
icfp\_45\_10 & 9 & 0.12 & 3 & 3 & 4 & 2\\
icfp\_5\_1000 & 19 & 44.1 & 5 & 3 & 5 & 4\\
icfp\_51\_10 & 11 & 1.7 & 3 & 4 & 4 & 2\\
icfp\_54\_1000 & 11 & 25.1 & 3 & 4 & 4 & 2\\
icfp\_64\_10 & 21 & 26.7 & 5 & 5 & 5 & 5\\
icfp\_68\_1000 & 26 & 26.9 & 7 & 3 & 5 & 5\\
icfp\_69\_10 & 11 & 1.1 & 3 & 3 & 5 & 5\\
icfp\_7\_1000 & 17 & 61.8 & 5 & 3 & 6 & 9\\
icfp\_7\_10 & 16 & 0.76 & 5 & 3 & 5 & 6\\
icfp\_72\_10 & 13 & 14.4 & 3 & 5 & 4 & 2\\
icfp\_73\_10 & 18 & 0.51 & 5 & 3 & 5 & 3\\
icfp\_81\_1000 & 21 & 382.4 & 5 & 4 & 5 & 7\\
icfp\_82\_100 & 13 & 8.9 & 3 & 3 & 6 & 8\\
icfp\_82\_10 & 13 & 3.5 & 3 & 3 & 6 & 7\\
icfp\_87\_10 & 19 & 5.2 & 5 & 4 & 5 & 5\\
icfp\_93\_1000 & 22 & 127.5 & 5 & 4 & 5 & 9\\
icfp\_94\_1000 & 17 & 29.5 & 5 & 3 & 5 & 4\\
icfp\_94\_100 & 17 & 2.4 & 5 & 3 & 5 & 4\\
icfp\_95\_100 & 220 & 182.5 & 55 & 4 & 7 & 55\\
icfp\_96\_1000 & 49 & 1289.8 & 11 & 5 & 6 & 22\\
icfp\_96\_10 & 57 & 9.5 & 13 & 4 & 6 & 9\\
icfp\_99\_100 & 18 & 201.2 & 5 & 5 & 5 & 4\\
icfp\_14\_1000 & -- & TO & -- & -- & -- & --\\
icfp\_56\_1000 & -- & TO & -- & -- & -- & --\\
icfp\_9\_1000 & -- & TO & -- & -- & -- & --\\\hlx{hv}
\end{tabular*}
\caption{Results on the ICFP benchmark suite, when the algorithm stops
  after discovering the first solution}
\label{table:one_shot_results}
\end{table}
